Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
781	Journal of Artificial Intelligence Research606 Submitted 11/07; publishedSATzilla: Portfolio-based Algorithm Selection for SAT Lin Xu Add to Reading List Source URL: www.jair.org Language: English - Date: 2008-07-01 13:34:37 NP-complete problems Logic in computer science Electronic design automation Formal methods Boolean algebra Boolean satisfiability problem Algorithm Computational complexity theory Solver Theoretical computer science Applied mathematics Mathematics
782	FM2012 - FORMAL METHOD - V1 Add to Reading List Source URL: fm2012.cnam.fr Language: English - Date: 2013-06-18 10:18:54 Diagrams Petri net Formal methods Validation Software development process Knowledge Science Software development Concurrency
783	The Future of Formal Software Verification in Avionics Yannick Moy Formal Methods 2012 Industry Day Background Add to Reading List Source URL: fm2012.cnam.fr Language: English - Date: 2013-06-18 10:17:21 Formal sciences Mathematical logic Model theory Proof theory Logic in computer science Design by contract Mathematical proof Formal methods DO-178C Mathematics Logic Science
784	Invariant Generation in Vampire? Kryˇstof Hoder1 , Laura Kov´acs2 , and Andrei Voronkov1 1 University of Manchester 2 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2011-05-02 08:17:07 Mathematical logic Invariant Loop invariant Automated theorem proving Emmy Noether First-order logic Mathematics Software engineering Formal methods
785	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) VeriTech - A Framework for Translating among Model Description Notations Orna Grumberg and Shmuel Katz Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2005-11-29 05:50:59 Electronic engineering Formal methods Predicate logic Hardware description languages Construction and Analysis of Distributed Processes Formal verification State transition system Model checking Petri net Models of computation Theoretical computer science Concurrency
786	Garakabu2: A Formal Verification Tool for ZIPC Weiqiang Kong, Kyushu University, Japan [Jointly developed by] Fukuoka IST & CATS Co. Ltd. & Kyushu University of Japan Add to Reading List Source URL: fm2012.cnam.fr Language: English - Date: 2013-06-18 10:17:21 Logic in computer science Theoretical computer science Usability Verification Software development process Computer science Technology Formal methods Science Formal verification
787	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) Compilation of extended recursion in call-by-value functional languages Tom Hirschowitz · Xavier Leroy · J. B. Wells Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-12-15 04:49:16 Computability theory Recursion Theoretical computer science Models of computation Formal methods Lambda calculus Standard ML Free variables and bound variables Scheme Software engineering Computing Mathematics
788	AprilKevin Mattheys Development of an integrated business and career model for Cost Engineering which would build an effective Add to Reading List Source URL: www.icoste.org Language: English - Date: 2011-03-03 23:37:30 Formal methods Science Systems engineering Learning Skill Software development process Project management IBM Rational Unified Process Business model Management Business Strategic management
789	Belief, Uncertainty, and Probability Jan van Eijck CWI & ILLC, Amsterdam Qualitative and Quantitative Methods in Formal Epistemology Nov 20, 2014 Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2014-12-01 03:27:49 Statistical inference Bayesian probability Science Knowledge Probability and statistics Epistemology Formal epistemology
790	Saturn: A SAT-based Tool for Bug Detection? Yichen Xie and Alex Aiken Computer Science Department Stanford University {yxie,aiken}cs.stanford.edu Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2005-05-20 18:05:46 Formal methods Electronic design automation Logic in computer science NP-complete problems Model checking Data types Boolean satisfiability problem Ada Pointer Computing Software engineering Theoretical computer science

UPDATE